2

Recursive modules for programming

Year:
2006
Language:
english
File:
PDF, 281 KB
english, 2006
6

Label-selective λ-calculus syntax and confluence

Year:
1995
Language:
english
File:
PDF, 1.40 MB
english, 1995
7

The carbonyl-Diels-Alder reaction catalyzed by bismuth (III) chloride

Year:
1998
Language:
english
File:
PDF, 236 KB
english, 1998
38

Semi-Explicit First-Class Polymorphism for ML

Year:
1999
Language:
english
File:
PDF, 429 KB
english, 1999
39

Predictive molecular and genetic toxicology

Year:
1995
Language:
english
File:
PDF, 832 KB
english, 1995